Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... Proc (Lecture Notes in Computer Science)
by Dirk Beyer,Michele Boreale
ISBN 13: 9783642385919
Format: Paperback (336 pages) Publisher: Springer Published: 16 May 2013
Save for later